@$i$ state ${\it ds}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:Id. vartype($i$;$x$) $\subseteq\rho$ ${\it ds}$($x$)?Top